Afternoon
Overview​
Definition​
A Temporal Interval that consists of the temporal regions between when the sun is at its apex (approximately 12:00pm) and when it sets (approximately 6:00pm).
Examples​
Not defined.
Aliases​
Not defined.
URI​
https://www.commoncoreontologies.org/ont00000699
Subclass Of​
Ontology Reference​
Properties​
Data Properties​
Ontology | Label | Definition | Example | Domain | Range |
---|---|---|---|---|---|
abi | is curated in foundry | Relates a class to the foundry it is curated in. | The class cco:ont00001262 is curated in the foundry 'enterprise_management_foundry' and 'personal_ai_foundry'. | entity | string |
abi | data property | A data property is a property that is used to represent a data property. | entity | string |
Object Properties​
Ontology | Label | Definition | Example | Domain | Range | Inverse Of |
---|---|---|---|---|---|---|
abi | has backing data source | Relates an entity to the data source that provides the underlying data for that entity. This property indicates the origin or source of the data that supports the entity. | A report entity may have a backing data source that provides the raw data used to generate the report. | entity | Data Source | - |
abi | has template class | Relates a subject to its template class. | entity | Template Class | - | |
bfo | exists at | (Elucidation) exists at is a relation between a particular and some temporal region at which the particular exists | First World War exists at 1914-1916; Mexico exists at January 1, 2000 | entity | temporal region | - |
bfo | preceded by | b preceded by c = Def b precedes c | The temporal region occupied by the second half of the match is preceded by the temporal region occupied by the first half of the match | occurrent | occurrent | precedes |
bfo | precedes | (Elucidation) precedes is a relation between occurrents o, o' such that if t is the temporal extent of o & t' is the temporal extent of o' then either the last instant of o is before the first instant of o' or the last instant of o is the first instant of o' & neither o nor o' are temporal instants | The temporal region occupied by Mary's birth precedes the temporal region occupied by Mary's death. | occurrent | occurrent | - |
bfo | has occurrent part | b has occurrent part c = Def c occurrent part of b | Mary's life has occurrent part Mary's 5th birthday | occurrent | occurrent | occurrent part of |
bfo | has temporal part | b has temporal part c = Def c temporal part of b | Your life has temporal part the first year of your life | occurrent | occurrent | temporal part of |
bfo | occurrent part of | (Elucidation) occurrent part of is a relation between occurrents b and c when b is part of c | Mary's 5th birthday is an occurrent part of Mary's life; the first set of the tennis match is an occurrent part of the tennis match | occurrent | occurrent | - |
bfo | temporal part of | b temporal part of c = Def b occurrent part of c & (b and c are temporal regions) or (b and c are spatiotemporal regions & b temporally projects onto an occurrent part of the temporal region that c temporally projects onto) or (b and c are processes or process boundaries & b occupies a temporal region that is an occurrent part of the temporal region that c occupies) | Your heart beating from 4pm to 5pm today is a temporal part of the process of your heart beating; the 4th year of your life is a temporal part of your life, as is the process boundary which separates the 3rd and 4th years of your life; the first quarter of a game of football is a temporal part of the whole game | occurrent | occurrent | - |
cco | is cause of | x is_cause_of y iff x and y are instances of Occurrent, and y is a consequence of x. | occurrent | occurrent | caused by | |
cco | caused by | x caused_by y iff x and y are instances of Occurrent, and x is a consequence of y. | occurrent | occurrent | - | |
bfo | has first instant | t has first instant t' = Def t' first instant of t | The first hour of a year has first instant midnight on December 31 | temporal region | temporal instant | - |
bfo | has last instant | t has last instant t' = Def t' last instant of t | The last hour of a year has last instant midnight December 31 | temporal region | temporal instant | - |
cco | is temporal region of | t is temporal region of p iff p occupies temporal region t. | temporal region | {'or': ['http://purl.obolibrary.org/obo/BFO_0000015', 'http://purl.obolibrary.org/obo/BFO_0000035']} | - | |
cco | has inside instant | For Temporal Interval t1 and Temporal Instant t2, t1 has inside instant t2 if and only if there exists Temporal Instants t3 and t4 that are part of t1 and non-identical with t2, such that t3 is before t2 and t4 is after t2. | one-dimensional temporal region | zero-dimensional temporal region | is inside instant of | |
cco | has inside interval | A Temporal Interval INT2 has inside interval some Temporal Interval INT1 iff there exist Temporal Instants inst1, inst2, inst3, and inst4 such that inst1 is the starting instant of INT1, inst2 is the ending instant of INT1, inst3 is the starting instant of INT2, inst4 is the ending instant of INT2, inst3 is before inst1, and inst2 is before inst4. | one-dimensional temporal region | one-dimensional temporal region | interval during | |
cco | interval finishes | A Temporal Interval INT1 finishes some Temporal Interval INT2 iff there exists Temporal Instants inst1, inst2, and inst3 such that inst 1 is the starting instant of INT1, inst2 is the ending instant of both INT1 and INT2, inst3 is the starting instant of INT2, and inst3 is before inst1. | one-dimensional temporal region | one-dimensional temporal region | interval finished by | |
cco | interval finished by | A Temporal Interval INT2 is finished by some Temporal Interval INT1 iff there exists Temporal Instants inst1, inst2, and inst3 such that inst 1 is the starting instant of INT1, inst2 is the ending instant of both INT1 and INT2, inst3 is the starting instant of INT2, and inst3 is before inst1. | one-dimensional temporal region | one-dimensional temporal region | - | |
cco | interval equals | A Temporal Interval INT1 is equal to some Temporal Interval INT2 iff there exists Temporal Instants inst1 and inst2 such that inst1 is the starting instant of both INT1 and INT2 and inst2 is the ending instant of both INT1 and INT2. | one-dimensional temporal region | one-dimensional temporal region | - | |
cco | interval overlaps | A Temporal Interval INT1 overlaps some Temporal Interval INT2 iff there exist Temporal Instants inst1, inst2, inst3, inst4 such that inst1 is the starting instant of INT1, inst2 is the ending instant of INT1, inst3 is the starting instant of INT2, inst4 is the ending instant of INT2, inst1 is before inst3, inst3 is before inst2, and inst2 is before inst4. | one-dimensional temporal region | one-dimensional temporal region | interval overlapped by | |
cco | interval is after | A TemporalInterval INT2 is after some TemporalInterval INT1 iff there exists TemporalInstants inst2, inst1 such that inst2 is the starting instant of INT2 and inst1 is the ending instant of INT1 and inst2 is after inst1. | one-dimensional temporal region | one-dimensional temporal region | interval is before | |
cco | interval disjoint | A Temporal Interval INT1 is disjoint with a Temporal Interval INT2 iff INT1 is before or meets INT2 OR INT2 is before or meets INT1. In other words, INT1 and INT2 are disjoint iff INT1 and INT2 do not overlap, contain, or equal one another. | one-dimensional temporal region | one-dimensional temporal region | - | |
cco | interval during | A Temporal Interval INT1 is during some Temporal Interval INT2 iff there exist Temporal Instants inst1, inst2, inst3, and inst4 such that inst1 is the starting instant of INT1, inst2 is the ending instant of INT1, inst3 is the starting instant of INT2, inst4 is the ending instant of INT2, inst3 is before inst1, and inst2 is before inst4. | one-dimensional temporal region | one-dimensional temporal region | - | |
cco | interval overlapped by | A Temporal Interval INT2 is overlapped by some Temporal Interval INT1 iff there exist Temporal Instants inst1, inst2, inst3, inst4 such that inst1 is the starting instant of INT1, inst2 is the ending instant of INT1, inst3 is the starting instant of INT2, inst4 is the ending instant of INT2, inst1 is before inst3, inst3 is before inst2, and inst2 is before inst4. | one-dimensional temporal region | one-dimensional temporal region | - | |
cco | interval started by | A Temporal Interval INT2 is started by some Temporal Interval INT1 iff there exist Temporal Instants inst1, inst2, and inst3 such that inst1 is the starting instant of both INT1 and INT2, inst2 is the ending instant of INT1, inst3 is the ending instant of INT2 and inst2 is before inst3. | one-dimensional temporal region | one-dimensional temporal region | interval starts | |
cco | interval meets | A Temporal Interval INT1 meets some Temporal Interval INT2 iff there exists some Temporal Instant inst1 such that inst1 is the ending instant of INT1 and inst1 is the starting instant of INT2. | one-dimensional temporal region | one-dimensional temporal region | interval met by | |
cco | interval met by | A Temporal Interval INT2 is met by some Temporal Interval INT1 iff there exists some Temporal Instant inst1 such that inst1 is the starting instant of INT2 and inst1 is the ending instant of INT1. | one-dimensional temporal region | one-dimensional temporal region | - | |
cco | interval starts | A Temporal Interval INT1 starts some Temporal Interval INT2 iff there exist Temporal Instants inst1, inst2, and inst3 such that inst1 is the starting instant of both INT1 and INT2, inst2 is the ending instant of INT1, inst3 is the ending instant of INT2 and inst2 is before inst3. | one-dimensional temporal region | one-dimensional temporal region | - | |
cco | interval contains | A Temporal Interval INT2 contains some Temporal Interval INT1 iff there exist Temporal Instants inst1, inst2, inst3, and inst4 such that inst1 is the starting instant of INT1, inst2 is the ending instant of INT1, inst3 is the starting instant of INT2, inst4 is the ending instant of INT2, inst3 is before or identical to inst1, and inst2 is before or identical to inst4, but it is not the case that both inst3 is identical to inst1 and inst2 is identical to inst4. | one-dimensional temporal region | one-dimensional temporal region | interval contained by | |
cco | interval is before | A TemporalInterval INT1 is before some TemporalInterval INT2 iff there exists TemporalInstants inst1, inst2 such that inst1 is the ending instant of INT1 and inst2 is the starting instant of INT2 and inst1 is before inst2. | one-dimensional temporal region | one-dimensional temporal region | - | |
cco | interval contained by | A Temporal Interval INT1 is contained by some Temporal Interval INT2 iff there exist Temporal Instants inst1, inst2, inst3, and inst4 such that inst1 is the starting instant of INT1, inst2 is the ending instant of INT1, inst3 is the starting instant of INT2, inst4 is the ending instant of INT2, inst3 is before or identical to inst1, inst2 is before or identical to inst4, and it is not the case that both inst3 is identical to inst1 and inst2 is identical to inst4. | one-dimensional temporal region | one-dimensional temporal region | - |